Several countries maintain universal health coverage, which implies responsibility to organize delivery formats of healthcare services and products for citizens. In Brazil, the health system has a principle of universal access for more than 30 years, but many deficiencies remain and the country observes a day practice for those seeking judicial decisions to determine provision of healthcare.

In this historical article, Newton da Costa discusses Francisco Miró Quesada’s philosophical ideas about logic. He discusses the topics of reason, logic, and action in Miró Quesada’s work, and in the final section he offers his critical view. In particular, he disagrees with Miró Quesada’s stance on the historicity of reason, for whom “reason is essentially absolute”, whereas for da Costa it “is being constructed in the course of history”. Da Costa concludes by emphasizing the importance of (...) Miró Quesada’s theory of logic and reason, despite it still being incomplete. -/- Historical article by Newton da Costa, annotated and translated by J. C. Cifuentes and L. F. Bartolo Alegre. (shrink)

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of Whitehead (...) (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)

We discuss the hypothesis that the debate about the interpretation of the orthodox formalism of quantum mechanics might have been misguided right from the start by a biased metaphysical interpretation of the formalism and its inner mathematical relations. In particular, we focus on the orthodox interpretation of the congruence relation, '=', which relates equivalent classes of different mathematical representations of a vector in Hilbert space, in terms of metaphysical identity. We will argue that this seemingly "common sense" interpretation, at the (...) semantic level, has severe difficulties when considering the syntactic level of the theory. (shrink)

Quasi-set theory is a theory for dealing with collections of indistinguishable objects. In this paper we discuss some logical and philosophical questions involved with such a theory. The analysis of these questions enable us to provide the first grounds of a possible new view of physical reality, founded on an ontology of non-individuals, to which quasi-set theory may constitute the logical basis.

The issue of what consequences to draw from the existence of non-classical logical systems has been the subject of an interesting debate across a diversity of fields. In this paper the matter of alternative logics is considered with reference to a specific belief system and its propositions :the Azande are said to maintain beliefs about witchcraft which, when expressed propositionally, appear to be inconsistent. When the Azande have been presented with such inconsistencies, they either fail to see them as such (...) or else accept them as non-problematical. Is our knowledge of logical truths a relative and culturally determined phenomenon, or is there some (transcendent) criterion that allows us to adjudicate between alternative logical systems? The authors propose an approach for resolving disputes about the status of Azande reasoning which assumes a paraconsistent framework, thus providing a new perspective on this debate. (shrink)

In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories. As a case-study, we present a reconstruction of P.\ -D.\ F\'evrier's 'logic of complementarity' as a strict three-valued logic and also a paraconsistent version of it. At the end, we sketch our own approach to complementarity, which is based on a paraconsistent logic termed 'paraclassical logic'.

In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To be is to be the value of a variable a specific language with a given underlying logic Yet my stand differs from Quine’s, because, among other reasons, I accept some first order heterodox logics as genuine alternatives (...) to classical logic I also discuss some questions of non classical logic to substantiate my argument, and suggest that may position complements and extends some ideas advanced by L Apostel. (shrink)

Procuramos expor o pluralismo de leituras da obra freudiana mediante a exploração da hipótese de historicização da formação psíquica dos sujeitos, especialmente relativa ao complexo de Édipo e Supereu. Partindo da perspectiva de estudos feministas, verificamos no corpus teórico freudiano se há a possibilidade de que o avanço sócio-histórico seja um fator de modificação de concepções que, na leitura freudiana clássica, seriam lidas como imutáveis, fixas e rígidas cultural e historicamente. Madelon Sprengnether, Nancy Chodorow e Judith Butler serão retomadas para (...) criticar a leitura clássica e generalizante do complexo de Édipo enquanto “estrutural”, essencializado e substancializado. Sugerimos que, sendo uma lei hegemônica, a vivência edípica não pode ser completamente ultrapassada, mas pode ser performativamente atuada de formas desviantes de sua estrutura classicamente pensada por Freud. Nesse âmbito, a transmissão geracional é nosso enfoque primordial. Ela é debatida ao menos em três momentos complementares: na análise da filogênese, da herança arcaica e do Édipo social exposta em Totem e tabu, na herança narcísica de expectativas e ideais compreendida em Introdução ao narcisismo e na teoria da perpetuação de valores e tradições morais via identificações geracionais superegoicas que consta nas Novas Conferências sobre Psicanálise. (shrink)

The apparently paradoxical nature of self-deception has attracted a great deal of controversy in recent years. Focussing on those aspects of the phenomenon which involve the holding of "contradictory" beliefs, it is our intention to argue that this presents no "paradox" if a non-classical, "paraconsistent", doxastic logic is adopted. (On such logics, see, for example, N. C. A. da Costa, 'On the theory of inconsistent formal systems', Notre Dame J Formal Logic 11(1974), 497-510, and A. I. Arruda, 'A survey (...) of paraconsistent logic', in A. I. Arruda, N. C. A da Costa and R Chuaqui, _Mathematical Logic in Latin America, North-Holland, 1984, pp. 1-41.). (shrink)

On the one hand, non-reflexive logics are logics in which the principle of identity does not hold in general. On the other hand, quantum mechanics has difficulties regarding the interpretation of ‘particles’ and their identity, also known in the literature as ‘the problem of indistinguishable particles’. In this article, we will argue that non-reflexive logics can be a useful tool to account for such quantum indistinguishability. In particular, we will provide a particular non-reflexive logic that can help us to analyze (...) and discuss this problem. From a more general physical perspective, we will also analyze the limits imposed by the orthodox quantum formalism to consider the existence of indistinguishable particles in the first place, and argue that non-reflexive logics can also help us to think beyond the limits of classical identity. (shrink)

Ênio José da Costa Brito apresenta Uma leitura da escravidão pela ótica dos desafios do antiescravismo . Trata-se de minuciosa nota bibliográfica sobre a obra de Seymour Drescher: DRESCHER, Seymour. Abolição: Uma história da Escravidão e do Antiescravismo. São Paulo: Editora UNESP, 2011, 736p. ISBN 978-85-393-0184-3.

It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of (...) solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions. (shrink)

The phenomenon of belief in demonic possessions always appears in times of crisis. The intention of this communication is to report the vision of Michel de Certeau, among others, on a fact of possession that occurred in Loudun and shows that religious motives, for some time in history, have been and are still being used for political manipulation. With great documentary and literary analysis, allied to intense research on the city's folklore and imagery, Certeau shows a perspective on the history (...) of religions in the least different. In the construction of his reasoning and his research, contradictory histories emerge, each at different times and places and each one connected in political and epistemological transformations, of Certeau not only maintains an unconventional authorial posture, but more importantly: it shows the reader That which is lost, missing and fragmented in the process of writing official history. (shrink)

Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.

After mentioning the cogent connection between pure semantics and the particular set theoretical framework in which it is formulated, some issues regarding the conceptual status of semantics itself, as well as its relationship to logic, are concisely raised.

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can (...) be accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed. (shrink)

This paper is concerned with the particular problems raised by observations of phenomena outside the common course of nature for their validation as knowledge. It examines to what extent the content of the reports and, in particular, their lack of intrinsic plausibility affected the methods used in their authentication and the assessment of testimony at the Royal Society in the first half of the eighteenth century. I show that literary strategies were usually necessary but not sufficient for the validation of (...) these kinds of observations. Next, I discuss why visual representations were especially useful in establishing the singularity of the observations, but I point out that their high costs and other restrictions meant that they were not so widespread. In contrast I show that, for a long period of time, testimony was used in the majority of the reports as the true stamp of authenticity. I note, however, that the Royal Society accepted reports by authors of varied social status, level of education and occupation, and I discuss some of the factors responsible for the complexity of the handling of testimony at the Society. I argue against Shapin that in the case of reports of extraordinary phenomena, the competence of the reporter and witnesses was often more important than their social status. The increasing role of expertise in the assessment of observations at the Society become especially apparent by the middle of the eighteenth century.Author Keywords: Authentication; Competence; Monstrous births; Singular; Testimony; Royal Society of London. (shrink)

Este artigo busca refletir sobre condições iniciais da sociedade pré- humana explicando como dois fenômenos biológicos – adaptativos, a bipedalização e neotenia, ajudaram a emergir no homem características próprias humanas tais como a solidariedade. Procura também lançar critica se a Teoria da Evolução pode ou não explicar comportamentos humanos complexos.

A situação atual do ser humano é deuma crise global na qual as ameaças de guerranuclear, de desastre ecológico e de colapsoeconômico apontam para o extermínio da biosferahumana. A racionalidade técnico-cientifica tornoupossível esta situação de crise, entretanto, elaprópria torna impossível a fundamentação racionalde uma ética que nos leve, em face do perigocomum, a assumir coletivamente a responsabilidade.Apel, porém, contesta a racionalidadetécnico-científica e defende a fundamentaçãoracional, intersubjetiva, de uma necessária orientaçãoético-politica capaz de lidar com os grandesdesafios que põem em risco a (...) civilizaçãohumana no final do século XX. (shrink)

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

Abstract A general framework is proposed for accommodating the recent results of studies into ?natural? decision making. A crucial element of this framework is the notion of a ?partial structure?, recently introduced into the semantic approach to scientific theories. It is through the introduction of this element that connections can be made with certain problems regarding inconsistency and rationality in general.

We present some recent technical results of us on the incompleteness of classical analysis and then discuss our work on the Arnol'd decision problems for the stability of fixed points of dynamical systems.

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the theory and (...) to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate. (shrink)

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...) no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

Este trabajo presenta una visión general al lector sobre el tema de la educación en el pensamiento de Karl Marx, basada en cuatro obras clásicas: Tesis sobre Feuerbach, el Manifiesto del Partido Comunista de los Trabajadores y de las Instituciones Crítica Asociación del Programa de Gotha de los cuales se considera el centro de a la comprensión de la educación en el contexto actual. Tomamos nota de que en Marx, el enfoque crítico de la educación en la sociedad capitalista contribuye (...) a las banderas históricas y las luchas políticas que hasta ahora "sangrar" el posicionamiento de la realidad a nosotros mismos a una vista que no renuncia a entender "cómo la sociedad llegó a este punto", y muy menos que el reto de atreverse a vivir una praxis revolucionaria, socialista y emancipador que deseamos! (shrink)

Este artigo dialoga com autores que estudam a temática juventude e escola, problematizando a função da escola como locus de socialização. Parte do pressuposto de que muitos problemas enfrentados pelos jovens na escola é resultado de uma realidade em que as culturas juvenis, caracterizadas por determinadas formas de comportamento, como, gostos, atitudes, estilo de vida, forma de ser, vestir, dançar, falar, se divertir e se relacionar não podem se fazer presentes. Em virtude disso, analisa a desarticulação da escola com as (...) perspectivas dos jovens, ao acharem-na desinteressante por não contemplar seus anseios e suas necessidades e tampouco reconhecer a realidade em que estão inseridos. Parte da concepção de que a escola deve contemplar espaços e situações que promovam experiências de sociabilidade. Busca uma reflexão acerca do papel da escola diante das tensões e dos dilemas juvenis. (shrink)

The article Rethinking Critique: Becoming Clinician, written by Leticia Da Costa Paes, was originally published electronically on the publisher’s internet portal on 24 September 2019 with open access.

This paper seeks to provide an approach for achieving a more socially and environmentally sustainable life by reframing the rules of engagement with the planet and with each other by setting minimum standards on essential criteria i.e., by defining “off-limits”zones for corporate action. For a more humanistic and socially just way of living life that would sustain the planet, a set of moral boundaries that cannot be breached are conceived. We offer a set of possible normative leverage points that must (...) not be violated by business in the long-term. Our paper takes a forward-looking view beyond the current generational targets for sustainability. We operate on the premise that sustainability involves preserving the future generations of the planet in both an environmental and human sense. The Moral Boundaries for Business framework embraces the Seventh Generation Principle. The moral boundaries we offer in this paper, if followed, are meant to have positive implications for humanity and the planet in the next seven generations. (shrink)

We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to show that time is dispensable in continuum thermodynamics, according to the axiomatic formulation of Gurtin and Williams. We also show how to define time by means of the remaining primitive concepts of Gurtin and Williams system. Finally, we introduce thermodynamics without time as a primitive concept.

Essa pesquisa investigou os fatores que estariam interferindo no acompanhamento e na promoção do desenvolvimento das crianças em uma instituição pública de Educação Infantil, bem como avaliou a opinião das educadoras acerca de uma proposta de acompanhamento do desenvolvimento infantil. A pesquisa ad..

Neste ensaio, refletimos sobre a unidade e a universalidade da lógica, por meio de duas questões fundamentais. Em primeiro lugar, discutimos se, dentre as várias lógicas existentes atualmente, haveria alguma melhor do que as outras. Em segundo, debruçamo-nos sobre o problema de saber se o mundo real é governado por uma determinada lógica. Remetendo as questões aos seus fundamentos, defendemos o pluralismo e mostramos que a avaliação das lógicas não se dá por questões de índole meramente formal, envolvendo princípios históricos, (...) pragmáticos e dialéticos ligados aos diversos contextos racionais aos quais elas são aplicadas. Mostramos ainda que o mundo real não é governado por nenhuma lógica específica, mas por variadas lógicas, e que há sempre uma espécie de ambiguidade e um jogo adaptativo entre os aspectos reais do mundo e os formais da lógica. (shrink)